Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code

by Wolf­gang Rosen­stiel, Oliver Bring­mann, Ste­fan Stat­tel­mann, and Alexan­der Viehl
In Lec­ture Notes in Elec­tri­cal En­gi­neer­ing. Springer, 2012.